منابع مشابه
Report on my research activities
Level 0 considers logical formulas as data types, and conversely data types as logical specification of program behaviors. Level −1 associates programs with proofs, in a way that the hypotheses of a proof give the specifications of the inputs of the correspondent program and the thesis gives the type of the output. At last, level −2 states a correspondence between the cut reduction of proofs an...
متن کاملDescription of my Research
I study algorithms in graphs, maily applied to the spreading of the information in telecommunications networks. I study the structure of graphs and some routing problems through graph searching games. In these games, a team of searchers aims at capturing a fugitive in a graph. The mobile agents follow the paths in the graph with bounded or unbounded speed and satisfying some constraints. The (N...
متن کاملSummary of My Research
My research interests span control theory, nonlinear and robust control, robotics, hybrid systems, dynamical systems, optimization, and power systems. I develop nonlinear feedback control solutions for dynamical models ranging from robotic systems to power systems. The models of these systems are typically characterized by high dimensional state spaces, with nonlinear and hybrid dynamics. My re...
متن کاملVictor Pan – My Research Journey
I have been working in Mathematics, Computational Mathematics, and Computer Science for more than five decades, facing research challenges and seeking new insights and novel methods. I was thrilled whenever I discovered new keys that opened challenging scientific locks, particularly when a single key opened a number of locks, as this was the case with my techniques of active operation/linear su...
متن کاملMy ‘brush’ with kuru research
acknowledged in these proceedings. The collaboration of the local communities in 22 linguistic groups has allowed us to collect over 4000 blood samples, other specimens and interviews. Their participation has been generous and, without it, our knowledge of prion diseases would be more limited. The Papua New Guineans who attended the meeting represented all those people from Papua New Guinea who...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Institute of Light Metals
سال: 1987
ISSN: 0451-5994
DOI: 10.2464/jilm.37.101